type A = {
  ...(B)
}
